version.dtx